Equivariant covering spaces and homotopy covering spaces

Covering Spaces in Homotopy Type Theory∗

Broadly speaking, algebraic topology consists of associating algebraic structures to topological spaces that give information about their structure. An elementary, but fundamental, example is provided by the theory of covering spaces, which associate groups to covering spaces in such a way that the universal cover corresponds to the fundamental group of the space. One natural question to ask is...

Covering Spaces

A Covering Homotopy Theorem and the Classification of G-spaces.

JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected].. National Academy of Sciences is collaborating with JSTOR ...

On Holonomy Covering Spaces

Introduction. In [l] L. Markus and the author introduced the concept of holonomy covering spaces for flat affinely connected manifolds or what are also called locally affine spaces. We also proved in [l ] that the holonomy covering space of a complete « dimensional locally affine space must be some « dimensional cylinder, i.e., T^XF"-*, i = 0, •■-,«, where T* denotes the locally affine i dimens...

1.3. Covering Spaces........................ 56